Martin Frické — SIRLS, The University of Arizona. Email: Logic and the Organization of Information: An Introduction Abstract The paper considers how logic might be used in the organization of in

Source URL: www.iskocus.org

Dualities for Intuitionistic Modal Logics Alessandra Palmigiano∗ Abstract We present a duality for the intuitionistic modal logic IK introduced by Fischer Servi in [10, 11]. Unlike other dualities for IK, the dual stru

Source URL: www.appliedlogictudelft.nl

Towards a model of UAVs Navigation in urban canyon through Defeasible Logic∗ Ho-Pun Lam and Guido Governatori February 21, 2011 Abstract

Source URL: www.governatori.net

Categorical and gradient aspects of wordlikeness* Kyle Gorman University of Pennsylvania Revised Januarycomments welcome) Abstract

Source URL: www.csee.ogi.edu

• Phonology
• Generative linguistics
• Grammar
• Phonotactics
• Grammaticality
• Philosophy of logic
• Gradient well-formedness
• Accidental gap
• Pseudoword
• Syllable
• Aymara language
• Phoneme

A Probabilistic Logic for Sequences of Decisions∗ Magdalena Ivanovska and Martin Giese Department of Informatics University of Oslo, Norway Abstract

Source URL: heim.ifi.uio.no

Groklaw: Why Software is Abstract, by PolR http://www.groklaw.net/article.php?story=Why Software is Abstract, by PolR Thursday, October @ 03:40 AM EDT

Source URL: ladoc.ffii.fr

• Law
• Theoretical computer science
• Computing
• Academia
• Patent law
• Formal sciences
• Algorithm
• Mathematical logic
• Patentable subject matter
• Software patent
• Abstraction
• Software

Automated reasoning under the theory H∗ (thesis abstract) Fritz Obermeyer February 23, 2009 In this thesis I study four extensions of untyped λ-calculi all under the maximally coarse semantics of

Source URL: fritzo.org

• Logic
• Mathematical logic
• Mathematics
• Model theory
• Logic in computer science
• Lambda calculus
• Models of computation
• Type theory
• Combinatory logic
• Theorem
• Structure
• Interpretation

Toward Model Theory with Data Values Mikolaj Boja´ nczyk and Thomas Place? University of Warsaw Abstract. We define a variant of first-order logic that deals with data

Source URL: www.mimuw.edu.pl

The Ackermann Award 2015 Anuj Dawar, Dexter Kozen, and Simona Ronchi Della Rocca Members of the Jury of the EACSL Ackermann Award Abstract The eleventh Ackermann Award is presented at CSL’15 in Berlin, Germany. This ye

Source URL: drops.dagstuhl.de

• Computability theory
• Theory of computation
• Mathematical logic
• EACSL
• Entscheidungsproblem
• Complexity
• Computational complexity theory
• Algorithm
• Decision problem
• Dexter Kozen

Contextual Validity in Hybrid Logic Patrick Blackburn and Klaus Frovin Jørgensen Department for Philosophy and Science Studies Roskilde University Abstract. Hybrid tense logic is an extension of Priorean tense logic in

Source URL: www.patrickblackburn.org